Gács-Sipser-Lautemann theorem

Gacs-Sipser-Lautemann theorem
#complexity_theory